Library Event Matching event classification algorithm for electron neutrino interactions in the NOvA detectors

We describe the Library Event Matching classification algorithm implemented for use in the NOvA $\nu_\mu \rightarrow \nu_e$ oscillation measurement. Library Event Matching, developed in a different form by the earlier MINOS experiment, is a powerful approach in which input trial events are compared to a large library of simulated events to find those that best match the input event. A key feature of the algorithm is that the comparisons are based on all the information available in the event, as opposed to higher-level derived quantities. The final event classifier is formed by examining the details of the best-matched library events. We discuss the concept, definition, optimization, and broader applications of the algorithm as implemented here. Library Event Matching is well-suited to the monolithic, segmented detectors of NOvA and thus provides a powerful technique for event discrimination.Comment: 10 pages, 7 figures. Minor fixe

Calculating invariants as coreflexive bisimulations

Invariants, bisimulations and assertions are the main ingredients of coalgebra theory applied to software systems. In this paper we reduce the first to a particular case of the second and show how both together pave the way to a theory of coalgebras which regards invariant predicates as types. An outcome of such a theory is a calculus of invariants’ proof obligation discharge, a fragment of which is presented in the paper. The approach has two main ingredients: one is that of adopting relations as “first class citizens” in a pointfree reasoning style; the other lies on a synergy found between a relational construct, Reynolds’ relation on functions involved in the abstraction theorem on parametric polymorphism and the coalgebraic account of bisimulations and invariants. This leads to an elegant proof of the equivalence between two different definitions of bisimulation found in coalgebra literature (due to B. Jacobs and Aczel & Mendler, respectively) and to their instantiation to the classical Park-Milner definition popular in process algebra.Partially supported by the Fundacao para a Ciencia e a Tecnologia, Portugal, under grant number SFRH/BD/27482/2006

Which mathematics for the Information Society?

MathIS is a new project that aims to reinvigorate secondary- school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.Long-term collaboration with J. N. Oliveira on calculational approaches to mathematics is deeply acknowledged. We are also grateful to the anonymous referees for their valuable comments. This research was supported by FCT (the Portuguese Foundation for Science and Technology), in the context of the MATHIS Project under contract PTDC/EIA/73252/2006. The work of Joao F. Ferreira and AlexandraMendeswas further supported by FCT grants SFRH/BD/24269/2005 and SFRH/BD/29553/2006, respectively

Effect of stripe rust on the yield response of wheat to nitrogen

Nitrogen (N) is the most important fertiliser element determining the productivity of wheat. N nutrition is known to affect the level of stripe rust infection, with higher N associated with increased disease severity. Stripe rust, caused by Puccinia striiformis f. sp. tritici, is a major yield-limiting disease of wheat in Australia. This paper describes experiments designed to investigate the agronomic response to the interaction of various levels of N application and stripe rust severity in wheat varieties differing in response. Experimental plots were established in crop seasons 2006 and 2007 on the Liverpool Plains of northern NSW, Australia. Yield, biomass, grain protein content (GPC) and harvest index (HI) data were recorded. Increased rates of N increased the severity of stripe rust during grain filling. N application also increased yield and GPC in all varieties in both years. Stripe rust reduced the yield of the rust-susceptible wheat varieties, and GPC and proportion of added N recovered in the grain were also reduced in one year but not the other. It was evident from our experiment that stripe rust caused yield loss accompanied by either no change or reduction in GPC, indicating that the total amount of N entering the grain was reduced by stripe rust. The effects of stripe rust on N yield are most likely associated with reduced uptake of N during grain filling